[IA64] Make xenitp more '|tee' friendly
authorAlex Williamson <alex.williamson@hp.com>
Wed, 13 Feb 2008 17:34:18 +0000 (10:34 -0700)
committerAlex Williamson <alex.williamson@hp.com>
Wed, 13 Feb 2008 17:34:18 +0000 (10:34 -0700)
commit55e39352c52d270d38ecb36ff0c2a2af429541c2
tree9c775efa87bdd38a898c2803e0f95770360bec10
parent50cdc10d699e5179bf8f1e9b086508f3ef3bf168
[IA64] Make xenitp more '|tee' friendly

Flush stdout after printing the prompt.

Signed-off-by: Tristan Gingold <tgingold@free.fr>
tools/debugger/xenitp/xenitp.c